Refinement of History-Based Policies
نویسندگان
چکیده
We propose an efficient method to evaluate a large class of history-based policies written as logic programs. To achieve this, we dynamically compute, from a given policy set, a finite subset of the history required and sufficient to evaluate the policies. We maintain this history by monitoring rules and transform the policies into a non history-based form. We further formally prove that evaluating history-based policies can be reduced to an equivalent, but more efficient, evaluation of the non history-based policies together with the monitoring rules.
منابع مشابه
An automated policy refinement process supported by expert knowledge
English) In a policy-based system management, a policy refinement process is requiredto translate abstract policies, which are specified by human, into enforceablepolicies, which are enforced by machine.However, a manual policy refinement process imposes some problems.The first problem is that it requires expert knowledge to perform the policyrefinement process. The second p...
متن کاملModel-Based Usage Control Policy Derivation
Usage control is concerned with how data is used after access to it has been granted. In existing usage control enforcement frameworks, policies are assumed to exist and the derivation of implementation-level policies from specification-level policies has not been looked into. This work fills this gap. One challenge in the derivation of policies is the absence of clear semantics of high-level d...
متن کاملSpecification and Refinement of Domain-Specific ECA Policies
Policy-based management is a flexible approach for the management of complex systems as policies make context-sensitive and automated decisions. For the effective development of policies it is desired to specify policies at a high level of abstraction initially, and to refine them until they are represented in a machine-executable way. We present an approach for the specification and the automa...
متن کاملمروری بر یوژنیک و سیر تحولی آن
Eugenics or the science of breeding humans is a movement based on biological concepts that advocate policies for improvement of the human population genetics. It has also served as a determinant factor and reference in many social disciplines including law and punishment during certain periods in history. In fact, based on eugenic policies, which were affirmed by biologists, health experts and ...
متن کاملA Methodological Approach to Policy Refinement in Policy-based Management Systems
Current research efforts are being directed to commit with the long-term view of self-management properties for telecommunications networks. One of the key approaches that have been recognised as an enabler of such a view is policy-based management. Policy-based management has been mostly acknowledged as a methodology that provides flexibility, adaptability and support to automatically assign n...
متن کامل